home *** CD-ROM | disk | FTP | other *** search
/ InfoMagic Internet Tools 1993 July / Internet Tools.iso / RockRidge / mail / pp / pp-6.0 / doc / manual / make < prev    next >
Encoding:
Text File  |  1991-08-20  |  233 b   |  11 lines
  1. #! /bin/sh
  2. if [ -f ../../Make.defs ]
  3. then
  4.     PATH=/usr/ucb:/bin:/usr/bin \
  5.     exec ${MAKECMD-make} -f ../../Make.defs -f Makefile ${1+"$@"}
  6. else
  7.     PATH=/usr/ucb:/bin:/usr/bin \
  8.     exec ${MAKECMD-make} -f Make.defs -f Makefile ${1+"$@"}
  9. fi
  10.  
  11.